Buy Used and New Henk Barendregt Books

Lambda Calculus with Types (Perspectives in Logic)

by Henk Barendregt,Wil Dekkers,Richard Statman

ISBN 13: 9780521766142

Format: Illustrated (856 pages)
Publisher: Cambridge University Press
Published: 20 Jun 2013

Save for later

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science)

by Tobias Nipkow,Henk Barendregt

ISBN 13: 9783540580850

Format: Paperback (404 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later